Computer algebra

Results: 2963



#Item
21Sessions S1 Computer Algebra for Modeling in Science and Engineering S2

Sessions S1 Computer Algebra for Modeling in Science and Engineering S2

Add to Reading List

Source URL: www.mathematik.uni-kassel.de

- Date: 2016-08-02 05:55:09
    22STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science

    STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science

    Add to Reading List

    Source URL: mizar.org

    - Date: 2010-03-05 21:10:35
      23CALCO Early Ideas 2013 Warsaw, 2 September 2013 A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers edited by

      CALCO Early Ideas 2013 Warsaw, 2 September 2013 A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers edited by

      Add to Reading List

      Source URL: www-compsci.swan.ac.uk

      - Date: 2014-07-11 07:33:31
        24Basic Elements of Computer Algebra in MIZAR Adam Naumowicz† Czeslaw Bylinski†† †

        Basic Elements of Computer Algebra in MIZAR Adam Naumowicz† Czeslaw Bylinski†† †

        Add to Reading List

        Source URL: markun.cs.shinshu-u.ac.jp

        - Date: 2002-08-28 03:46:27
          25CDC99 - REG0098 Computer algebra in the control of singularly perturbed dynamical systems 

          CDC99 - REG0098 Computer algebra in the control of singularly perturbed dynamical systems 

          Add to Reading List

          Source URL: math.ucsd.edu

          - Date: 1999-03-10 19:59:53
            26Static Livelock Analysis in CSP? Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {joel,hrip,awr,jbw}@cs.ox.ac.uk Abstract. In a process algebra

            Static Livelock Analysis in CSP? Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {joel,hrip,awr,jbw}@cs.ox.ac.uk Abstract. In a process algebra

            Add to Reading List

            Source URL: www.cs.ox.ac.uk

            - Date: 2013-01-23 11:18:26
              27A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

              A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2016-03-26 21:26:17
                28High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

                High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada

                Add to Reading List

                Source URL: www.csd.uwo.ca

                - Date: 2008-12-16 23:38:33
                  29Susan Margulies margulie at usna dot edu United States Naval Academy, Department of Mathematics, Annapolis, MDResearch Interests Optimization, Graph Theory, Computer Algebra, Algorithms and Complexity, Cryptograph

                  Susan Margulies margulie at usna dot edu United States Naval Academy, Department of Mathematics, Annapolis, MDResearch Interests Optimization, Graph Theory, Computer Algebra, Algorithms and Complexity, Cryptograph

                  Add to Reading List

                  Source URL: www.fulbright.at

                  - Date: 2016-07-18 10:49:55
                    30Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Teaching mathematics with reasoning tools: learning, te

                    Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Teaching mathematics with reasoning tools: learning, te

                    Add to Reading List

                    Source URL: cadgme.ms.sapientia.ro

                    - Date: 2016-01-27 04:44:02